<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>SemOpt: Class Members - Functions</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
</script>


</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">SemOpt
   &#160;<span id="projectnumber">0.2alpha5-SCC</span>
   </div>
   
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.6.1 -->
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li class="current"><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li class="current"><a href="functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
  <div id="navrow3" class="tabs2">
    <ul class="tablist">
      <li><a href="functions.html"><span>All</span></a></li>
      <li class="current"><a href="functions_func.html"><span>Functions</span></a></li>
      <li><a href="functions_vars.html"><span>Variables</span></a></li>
    </ul>
  </div>
  <div id="navrow4" class="tabs3">
    <ul class="tablist">
      <li><a href="#index_a"><span>a</span></a></li>
      <li><a href="#index_b"><span>b</span></a></li>
      <li><a href="#index_c"><span>c</span></a></li>
      <li><a href="#index_d"><span>d</span></a></li>
      <li><a href="#index_e"><span>e</span></a></li>
      <li><a href="#index_f"><span>f</span></a></li>
      <li><a href="#index_g"><span>g</span></a></li>
      <li><a href="#index_i"><span>i</span></a></li>
      <li><a href="#index_l"><span>l</span></a></li>
      <li><a href="#index_m"><span>m</span></a></li>
      <li><a href="#index_n"><span>n</span></a></li>
      <li><a href="#index_o"><span>o</span></a></li>
      <li><a href="#index_p"><span>p</span></a></li>
      <li><a href="#index_r"><span>r</span></a></li>
      <li><a href="#index_s"><span>s</span></a></li>
      <li><a href="#index_t"><span>t</span></a></li>
      <li><a href="#index_u"><span>u</span></a></li>
      <li><a href="#index_0x7e"><span>~</span></a></li>
    </ul>
  </div>
</div>
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
  initNavTree('functions_func.html','');
</script>
<div id="doc-content">
<div class="contents">
&#160;

<h3><a class="anchor" id="index_a"></a>- a -</h3><ul>
<li>add_Argument()
: <a class="el" href="classSetArguments.html#a989d8986ecf49baa0dc982766c0a5df4">SetArguments</a>
</li>
<li>add_attackers()
: <a class="el" href="classArgument.html#ad295236fa6d55121e37e90ec05289c8c">Argument</a>
</li>
<li>add_attacks()
: <a class="el" href="classArgument.html#a8a5cddf583929099b8228ed9300e2759">Argument</a>
</li>
<li>add_label()
: <a class="el" href="classLabelling.html#a79e25a77b942e8395431fceceea2bb63">Labelling</a>
</li>
<li>addHeadVariable()
: <a class="el" href="classOrClause.html#a3ad02fa758db9d8b4a432e4c5ee7638e">OrClause</a>
</li>
<li>addSetArgumentsToAll()
: <a class="el" href="classSetArgumentsVector.html#a92e628177038610e3ec4e34a76e46f6f">SetArgumentsVector</a>
</li>
<li>AF()
: <a class="el" href="classAF.html#ad40517371141b07b06a072d3365bb6de">AF</a>
</li>
<li>appendOrClause()
: <a class="el" href="classSATFormulae.html#a24f192aef15c7338da94440fbf11a1fd">SATFormulae</a>
</li>
<li>appendVariable()
: <a class="el" href="classOrClause.html#a09a95fb8ce2a1d10ae7c22295265725c">OrClause</a>
</li>
<li>Argument()
: <a class="el" href="classArgument.html#aa312e97860b77b102739b7c836f7c253">Argument</a>
</li>
<li>at()
: <a class="el" href="classSetArgumentsVector.html#a97d6b6d14b59dbf1a51aaf10bda05f94">SetArgumentsVector</a>
</li>
</ul>


<h3><a class="anchor" id="index_b"></a>- b -</h3><ul>
<li>begin()
: <a class="el" href="classAF.html#ab5db00d34fb90c9dd41272fd8953a5b4">AF</a>
, <a class="el" href="classSetArgumentsVector.html#aa633ab749e1200f2321d80ce76a98505">SetArgumentsVector</a>
, <a class="el" href="classSetArguments.html#aaee058feaed861edf27739fa04f374ef">SetArguments</a>
, <a class="el" href="classLabelling.html#a5a0b6aa6ad39b35bac7ac2b8a37dec71">Labelling</a>
</li>
</ul>


<h3><a class="anchor" id="index_c"></a>- c -</h3><ul>
<li>cardinality()
: <a class="el" href="classSetArguments.html#a66d5b1cc6b684700c2394a8cf62ef7f0">SetArguments</a>
</li>
<li>clean()
: <a class="el" href="classSetArguments.html#a0de309ba2427eb3dce2f8ca93bb078e4">SetArguments</a>
</li>
<li>clearAll()
: <a class="el" href="classSetArgumentsVector.html#a76cc9937a09ecfec12eb82777717b255">SetArgumentsVector</a>
</li>
<li>clone()
: <a class="el" href="classSetArguments.html#a3a3052b05dff877886f84ab99280d6f7">SetArguments</a>
, <a class="el" href="classLabelling.html#a600661b61ebd7f0da5faea3fdef97b6c">Labelling</a>
, <a class="el" href="classOrClause.html#ae8edb2f491a3b4f5d8bd402ef1788d82">OrClause</a>
, <a class="el" href="classSetArgumentsVector.html#afb82f5a112609999e94719baf36f72e2">SetArgumentsVector</a>
, <a class="el" href="classSATFormulae.html#a613cef1d45631a255b65718f51c5024c">SATFormulae</a>
</li>
<li>computeNSet()
: <a class="el" href="classGrounded.html#ac70689c14c7e88b07598e0d66c0eda56">Grounded</a>
</li>
</ul>


<h3><a class="anchor" id="index_d"></a>- d -</h3><ul>
<li>doGrounded()
: <a class="el" href="classGrounded.html#a7825cea0732284e135768d4d25283b42">Grounded</a>
</li>
</ul>


<h3><a class="anchor" id="index_e"></a>- e -</h3><ul>
<li>empty()
: <a class="el" href="classLabelling.html#ac717b73662047c2ab68e0828ff3dc54e">Labelling</a>
, <a class="el" href="classSATFormulae.html#a7c56233149efa47f3533010b09daf42b">SATFormulae</a>
, <a class="el" href="classSetArgumentsVector.html#ae4a302a74ba91f219fb96c20553db4bc">SetArgumentsVector</a>
, <a class="el" href="classSetArguments.html#a91e548daa6d0859946c8604b1ebb8c5a">SetArguments</a>
</li>
<li>end()
: <a class="el" href="classSetArgumentsVector.html#a9a862e30af38a72e402e1ae4f7f5425b">SetArgumentsVector</a>
, <a class="el" href="classAF.html#afc7210c999f6af6172e06b984b13ad1a">AF</a>
, <a class="el" href="classLabelling.html#a9fba5e876b11a7cd0170b89b122cfdfb">Labelling</a>
, <a class="el" href="classSetArguments.html#a551272d71c803f64efc155b04f41e775">SetArguments</a>
</li>
<li>equal()
: <a class="el" href="classSetArguments.html#a0c4a6994f83dfccf2d34022cb132b782">SetArguments</a>
</li>
<li>exist()
: <a class="el" href="classSetArgumentsVector.html#a8cc07d968854d13c5dd4305bbcdaf96a">SetArgumentsVector</a>
</li>
<li>exists()
: <a class="el" href="classSetArguments.html#a0be6b8f77319a6aec9127eccd3ee43d9">SetArguments</a>
</li>
<li>exists_argument_labelling()
: <a class="el" href="classLabelling.html#a7d3ce55a661689eaa83408d4d9424117">Labelling</a>
</li>
<li>ExtendedArgument()
: <a class="el" href="classExtendedArgument.html#a239d58bb3cf8c95577fb09ae4f46b2f8">ExtendedArgument</a>
</li>
</ul>


<h3><a class="anchor" id="index_f"></a>- f -</h3><ul>
<li>finalsorting()
: <a class="el" href="classSCCSEQ.html#a9ac95622db921cd44e93a34232ffdf79">SCCSEQ</a>
</li>
<li>find()
: <a class="el" href="classLabelling.html#a30feb527f78da10b5132f8acdd5d8f5b">Labelling</a>
</li>
</ul>


<h3><a class="anchor" id="index_g"></a>- g -</h3><ul>
<li>genName()
: <a class="el" href="classSCCSEQ.html#a6efd1e52faf8a810b51a1d6ba74ecfae">SCCSEQ</a>
</li>
<li>get_af()
: <a class="el" href="classArgument.html#ad2e1361e07c13c5ec5784d33e58ef76e">Argument</a>
</li>
<li>get_arguments()
: <a class="el" href="classAF.html#ac415a440c526e9a06a938544503fe741">AF</a>
</li>
<li>get_arguments_copy()
: <a class="el" href="classAF.html#aec0b31f7ddc1405309ebc12644c5c3b5">AF</a>
</li>
<li>get_attackers()
: <a class="el" href="classArgument.html#aa57914a9e5a27af3c3dbd1db8c0d3602">Argument</a>
</li>
<li>get_attacks()
: <a class="el" href="classArgument.html#ae8c77c2d0676845f250d77dfb3ce4378">Argument</a>
</li>
<li>get_label()
: <a class="el" href="classLabelling.html#a37bb1885f6412e0a2c66bde384413e43">Labelling</a>
</li>
<li>getAllAttackers()
: <a class="el" href="classSetArguments.html#ae056e1f79c10adb6c9a67215ab26edb9">SetArguments</a>
</li>
<li>getAllAttackersInSet()
: <a class="el" href="classSetArguments.html#a614c3bbe2f99592b1199007b008c1785">SetArguments</a>
</li>
<li>getAllAttacks()
: <a class="el" href="classSetArguments.html#ab7c0f1063978299f753e91e11f0818ef">SetArguments</a>
</li>
<li>getAllAttacksInSet()
: <a class="el" href="classSetArguments.html#a74f991246010dfc03b5dcde3bf08370a">SetArguments</a>
</li>
<li>getArgumentAttackersInSet()
: <a class="el" href="classSetArguments.html#aa74c9b4aeec56b029eed6e9f4435b0cb">SetArguments</a>
</li>
<li>getArgumentAttacksInSet()
: <a class="el" href="classSetArguments.html#a288d7f85ace570bba59f76d096d8131f">SetArguments</a>
</li>
<li>getArgumentByName()
: <a class="el" href="classAF.html#ab2eccb345f0ebfc6fc2b5cb9f456651b">AF</a>
, <a class="el" href="classSetArguments.html#ab4ddcd0942b0fa06de4ab9726e12edef">SetArguments</a>
</li>
<li>getArgumentByNumber()
: <a class="el" href="classAF.html#a370edb6cf152935b65e848d1ae209546">AF</a>
, <a class="el" href="classSetArguments.html#a119cb47c6e77b8faf10135d90c5b68b9">SetArguments</a>
</li>
<li>getExternalAttackers()
: <a class="el" href="classSetArguments.html#a49b6431d7a3324073dc01ae8d6648372">SetArguments</a>
</li>
<li>getExternalAttacks()
: <a class="el" href="classSetArguments.html#a5a24f9102351dae14b00f3cd4a4c272c">SetArguments</a>
</li>
<li>getFathersUnion()
: <a class="el" href="classSCCSEQ.html#adb5a0f5c376f3e0485bccd119e33a127">SCCSEQ</a>
</li>
<li>getKeyValue()
: <a class="el" href="classLabelIterator.html#aca208d6741e26dac5c5c440aea2fe455">LabelIterator</a>
</li>
<li>getName()
: <a class="el" href="classArgument.html#a95323c2bfcbb4c0d494acc13f76cc28a">Argument</a>
</li>
<li>getNumber()
: <a class="el" href="classArgument.html#aa26daf8c55afbe7d0970b23fbdbc96ca">Argument</a>
</li>
<li>getSetArguments()
: <a class="el" href="classLabelling.html#aa100bea37cb704545d188252ef03286f">Labelling</a>
</li>
<li>getSingletons()
: <a class="el" href="classSetArguments.html#a83fb1143e82cef2d73fe859cda33f35c">SetArguments</a>
</li>
<li>getSubsetAttackedBy()
: <a class="el" href="classSetArguments.html#a8f48fd9f7b627db762d4fc2621160853">SetArguments</a>
</li>
<li>getSubsetAttacks()
: <a class="el" href="classSetArguments.html#a0b7a69e50ba0141effc24c77f72195f8">SetArguments</a>
</li>
<li>graphHasEdges()
: <a class="el" href="classSetArguments.html#a26bbc586d96178dfc64ee0cdb7601564">SetArguments</a>
</li>
</ul>


<h3><a class="anchor" id="index_i"></a>- i -</h3><ul>
<li>inargs()
: <a class="el" href="classLabelling.html#af8aa0d976a665c1a9ebbdb801d0a867d">Labelling</a>
</li>
<li>intersect()
: <a class="el" href="classSetArguments.html#ae6761b6c360e440de55c2060ae70981c">SetArguments</a>
</li>
<li>InVar()
: <a class="el" href="classArgument.html#a0f0599741585650c3bf44714d6a06df9">Argument</a>
</li>
<li>is_subset()
: <a class="el" href="classSetArguments.html#a3d0a8527f2fa9ad3a888eb387c980a78">SetArguments</a>
</li>
<li>is_subset_equal()
: <a class="el" href="classSetArguments.html#a097087545407fc1eac981e31786e8168">SetArguments</a>
</li>
<li>isNempty()
: <a class="el" href="classGrounded.html#a20b4011b5fa1a6f423708f8d293b7630">Grounded</a>
</li>
</ul>


<h3><a class="anchor" id="index_l"></a>- l -</h3><ul>
<li>Labelling()
: <a class="el" href="classLabelling.html#a1b39efa4639854ab11d540037e24c425">Labelling</a>
</li>
<li>linkMacroGraph()
: <a class="el" href="classSCCSEQ.html#a8a3c4f47ec233566eb2a32146077b937">SCCSEQ</a>
</li>
</ul>


<h3><a class="anchor" id="index_m"></a>- m -</h3><ul>
<li>merge()
: <a class="el" href="classSetArguments.html#a1b532abb70dde9aa99148be16ed59af1">SetArguments</a>
</li>
</ul>


<h3><a class="anchor" id="index_n"></a>- n -</h3><ul>
<li>NotInVar()
: <a class="el" href="classArgument.html#a19efdd00a8dbf15271a311a720e300a4">Argument</a>
</li>
<li>NotOutVar()
: <a class="el" href="classArgument.html#a0db86f8dcbb8aed850aa5d7c0a689372">Argument</a>
</li>
<li>NotUndecVar()
: <a class="el" href="classArgument.html#a0b8fb438e4de8a4348e754714363fbf3">Argument</a>
</li>
<li>numArgs()
: <a class="el" href="classAF.html#a48e30f0573d51a9995093644bb19bb33">AF</a>
</li>
</ul>


<h3><a class="anchor" id="index_o"></a>- o -</h3><ul>
<li>operator!=()
: <a class="el" href="classArgument.html#a6f035645e46115d0f5a3f3ca98461bce">Argument</a>
, <a class="el" href="classSetArguments.html#ac5045a8ee2c6160b131f70b52e64112e">SetArguments</a>
, <a class="el" href="classSetArgumentsVector.html#aaba29693afa29251637f31a8514ea527">SetArgumentsVector</a>
</li>
<li>operator=()
: <a class="el" href="classSetArgumentsVector.html#ad7c955dec8507545c743d0bb637ea64e">SetArgumentsVector</a>
</li>
<li>operator==()
: <a class="el" href="classArgument.html#a44a615fda392650c5dc42036d9f4b1fc">Argument</a>
, <a class="el" href="classSetArgumentsVector.html#a0a5149e33a856623c7430ac6053b6018">SetArgumentsVector</a>
, <a class="el" href="classSetArguments.html#a22ed014efa057dd385c5ea89b6de5e94">SetArguments</a>
</li>
<li>OrClause()
: <a class="el" href="classOrClause.html#ae85000bdcd5e0c96cb5369cf4d59240e">OrClause</a>
</li>
<li>outargs()
: <a class="el" href="classLabelling.html#afc828a13d1a3e406f56fa1f212b4824d">Labelling</a>
</li>
<li>OutVar()
: <a class="el" href="classArgument.html#a22f8d770c9dabeee5400104f11cd94e9">Argument</a>
</li>
</ul>


<h3><a class="anchor" id="index_p"></a>- p -</h3><ul>
<li>pop_back()
: <a class="el" href="classSetArgumentsVector.html#a8e0ea5f84c56a04aefada08b4dd87c08">SetArgumentsVector</a>
</li>
<li>printGraph()
: <a class="el" href="classSetArguments.html#a45abe3157dc0aceae68f130cc9613d08">SetArguments</a>
</li>
<li>printNodeRelations()
: <a class="el" href="classSetArguments.html#a97ce4b4815433f7c573a5922eaec190d">SetArguments</a>
</li>
<li>push_back()
: <a class="el" href="classSetArgumentsVector.html#ae6509c9af6ffd7d9bbee2e0fbe3691ec">SetArgumentsVector</a>
</li>
</ul>


<h3><a class="anchor" id="index_r"></a>- r -</h3><ul>
<li>readFile()
: <a class="el" href="classAF.html#a40b85b5c4cb3d96273dd0becacad1a79">AF</a>
</li>
<li>remove()
: <a class="el" href="classSetArguments.html#a11b8009ff9cd0961731eac8ee95c4b55">SetArguments</a>
</li>
<li>remove_All_Arguments()
: <a class="el" href="classSetArguments.html#a09a6ac57967a3eb26006fd1c61e8cf4a">SetArguments</a>
</li>
<li>remove_attackers()
: <a class="el" href="classArgument.html#afbd830039143306df9ea249a8e3e8882">Argument</a>
</li>
<li>remove_attacks()
: <a class="el" href="classArgument.html#aaee498e60e009e6fdb455decb25fa96d">Argument</a>
</li>
</ul>


<h3><a class="anchor" id="index_s"></a>- s -</h3><ul>
<li>SATFormulae()
: <a class="el" href="classSATFormulae.html#a5120c3a2469b8124be715fa0d97fc545">SATFormulae</a>
</li>
<li>SCC()
: <a class="el" href="classSCCSEQ.html#a4773a37b2ec85f1c113f210242d63da9">SCCSEQ</a>
</li>
<li>SEQ()
: <a class="el" href="classSCCSEQ.html#aa05867c1604ac1584079f4bf643b1d36">SCCSEQ</a>
</li>
<li>SetArguments()
: <a class="el" href="classSetArguments.html#acbba23977f0c9fc09a827b0b1c9df7a3">SetArguments</a>
</li>
<li>SetArgumentsVector()
: <a class="el" href="classSetArgumentsVector.html#aff070d4484bdcb0dcc53321dbd3efabc">SetArgumentsVector</a>
</li>
<li>setminus()
: <a class="el" href="classSetArguments.html#a80e626de391cabfc0a20da509c328055">SetArguments</a>
</li>
<li>setSafeRestrict()
: <a class="el" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce">SetArguments</a>
</li>
<li>size()
: <a class="el" href="classSATFormulae.html#a8f519b3240b275633769ed70c9583d5d">SATFormulae</a>
, <a class="el" href="classLabelling.html#ae96fb462fa9b3bd7becbd7744e21eb78">Labelling</a>
, <a class="el" href="classSetArgumentsVector.html#acfa816d29faed3b3e19a48d0457c6f0a">SetArgumentsVector</a>
</li>
<li>strongConnected()
: <a class="el" href="classSCCSEQ.html#a4f71a88e8d1049f2c27c23303170b4b2">SCCSEQ</a>
</li>
<li>swap()
: <a class="el" href="classSetArgumentsVector.html#aa746bb341d961e7b5005b8687ae10d79">SetArgumentsVector</a>
</li>
<li>synchWithSet()
: <a class="el" href="classSetArguments.html#a5e8996e87ad044c231611f0075fb600b">SetArguments</a>
</li>
</ul>


<h3><a class="anchor" id="index_t"></a>- t -</h3><ul>
<li>toposort()
: <a class="el" href="classSCCSEQ.html#a3e78f04209344bbe31b47c277076dc64">SCCSEQ</a>
</li>
<li>toSS()
: <a class="el" href="classSATFormulae.html#aa2f0f69c190ff01d8ab48e426d89e665">SATFormulae</a>
, <a class="el" href="classOrClause.html#a4602e98acda51523bf55cc2ca1d59ad6">OrClause</a>
</li>
</ul>


<h3><a class="anchor" id="index_u"></a>- u -</h3><ul>
<li>undecargs()
: <a class="el" href="classLabelling.html#aedf4e3c3b0150317e5350945f088a424">Labelling</a>
</li>
<li>UndecVar()
: <a class="el" href="classArgument.html#a6b6fc0ba74c480e9186fe2860487008c">Argument</a>
</li>
</ul>


<h3><a class="anchor" id="index_0x7e"></a>- ~ -</h3><ul>
<li>~ExtendedArgument()
: <a class="el" href="classExtendedArgument.html#a3800a7420cd181e1e0b45d6aad5ebb69">ExtendedArgument</a>
</li>
<li>~SetArguments()
: <a class="el" href="classSetArguments.html#aff18fbe9d86a04099461245c780e52a5">SetArguments</a>
</li>
<li>~SetArgumentsVector()
: <a class="el" href="classSetArgumentsVector.html#a1d1da16bbccc30b32751ee478d9b1293">SetArgumentsVector</a>
</li>
</ul>
</div><!-- contents -->
</div>
  <div id="nav-path" class="navpath">
    <ul>

    <li class="footer">Generated on Fri Jan 17 2014 11:47:53 for SemOpt by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.6.1 </li>
   </ul>
 </div>


</body>
</html>
